Skip to main content
Scour
Browse
Getting Started
Login
Sign Up
You are offline. Trying to reconnect...
Close
Copied to clipboard
Close
Unable to share or copy to clipboard
Close
🔢 Algebraic Datatypes
Sum Types, Product Types, Pattern Matching, ML Families
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
183686
posts in
9.9
ms
Programming
in K
news.ycombinator.com
·
1d
·
Discuss:
Hacker News
🧸
Toy Compilers
Completing
the formal proof of higher-dimensional sphere
packing
math.inc
·
13h
·
Discuss:
Hacker News
🧮
Combinator Calculus
Show HN: Product Model – A structured
grammar
for bridging
PRDs
and code
github.com
·
14h
·
Discuss:
Hacker News
🎨
Domain-Specific Languages
Domain modeling by
Algebraic
Data
Types
(part 1)
thoughtworks.com
·
3d
🔀
Algebraic Subtyping
Generalization
of terms via universal
algebra
arxiv.org
·
1d
📋
S-Expression
nahhididwin/L-Representation
: L-Representation: Turning a Single Integer \
textit
{L} into a Universal, Provably-Correct Geometric \& Algebraic Engine
github.com
·
1d
·
Discuss:
Hacker News
🔍
ML Language
Expanding
the Dataset: A Comprehensive Guide to SQL Joins and Window
Functions
dev.to
·
11h
·
Discuss:
DEV
📈
Query Optimization
A
Number
with a
Shadow
campedersen.com
·
1d
∫
Mathematical DSLs
Extending Formal Verification to
Sequential
Circuits (U. of
Bremen
)
semiengineering.com
·
15h
📈
Monotonic Logic
Dynamic programming for the exact
pareto
front in multi-objective
discretization
of imbalanced datasets
sciencedirect.com
·
1d
⚡
Partial Evaluation
Empirical
, a language for time-series analysis
empirical-soft.com
·
9h
·
Discuss:
Hacker News
🔍
ML Language
Mastering
Technical Interviews A Practical Guide to the Algorithms That
Appear
Again and Again
dev.to
·
13h
·
Discuss:
DEV
📚
Suffix Arrays
Sandwiching
Polynomials
for Geometric Concepts with Low Intrinsic Dimension
arxiv.org
·
1d
🧮
Combinator Calculus
Custom Data
Structures
in
E-Graphs
uwplse.org
·
2d
·
Discuss:
Lobsters
,
Hacker News
,
r/programming
🪢
Rope Data Structures
Structured
Outputs
for LLMs
ternarysearch.blogspot.com
·
1d
·
Discuss:
Hacker News
,
ternarysearch.blogspot.com
🪜
Recursive Descent
extended C*-
algebra
in
nLab
ncatlab.org
·
12h
🔗
Category Theory
The Distribution of
Ridgeless
Least Squares
Interpolators
jmlr.org
·
19h
⚡
Partial Evaluation
Beyond
.predict
(): Building a
KNN
From Scratch
pub.towardsai.net
·
2h
🔤
String Algorithms
Maximally minimal specialization: always
applicable
impls
smallcultfollowing.com
·
19h
⚡
Partial Evaluation
PropertyGPT
: LLM-driven
Formal
Verification of Smart Contracts through Retrieval-Augmented Property Generation
papers.cool
·
1d
🎲
Property Testing
Loading...
Loading more...
Page 2 »
Keyboard Shortcuts
Navigation
Next / previous item
j
/
k
Open post
o
or
Enter
Preview post
v
Post Actions
Love post
a
Like post
l
Dislike post
d
Undo reaction
u
Recommendations
Add interest / feed
Enter
Not interested
x
Go to
Home
g
h
Interests
g
i
Feeds
g
f
Likes
g
l
History
g
y
Changelog
g
c
Settings
g
s
Browse
g
b
Search
/
Pagination
Next page
n
Previous page
p
General
Show this help
?
Submit feedback
!
Close modal / unfocus
Esc
Press
?
anytime to show this help